منابع مشابه
Towards Practical Reflection for Formal Mathematics
We describe a design for a system for mathematical theory exploration that can be extended by implementing new reasoners using the logical input language of the system. Such new reasoners can be applied like the built-in reasoners, and it is possible to reason about them, e.g. proving their soundness, within the system. This is achieved in a practical and attractive way by adding reflection, i....
متن کاملPractical Implications of Real Time Business Intelligence
The primary purpose of business intelligence is to improve the quality of decisions while decreasing the time it takes to make them. Because focus is required on internal as well as external factors, it is critical to decrease data latency, improve report performance and decrease systems resource consumption. This article will discuss the successful implementation of a BI reporting project dire...
متن کاملExploring Practical Potentials of Business Simulation Games
With the emergence of the digital generation, advances in technology, and the trend towards more experiential learning formats, business simulation games (BSGs) are increasingly used by educators today. Of interest in this paper is the extent to which serious game playing, for business and technology professionals, influences work behaviors in practice. This study explores the business professi...
متن کاملThe Case for Crunchy Methods in Practical Mathematics
This paper focuses on the distinction between methods which are mathematically "clever", and those which are simply crude, typically repetitive and computer intensive, approaches for "crunching" out answers to problems. Examples of the latter include simulated probability distributions and resampling methods in statistics, and iterative methods for solving equations or optimisation problems. Mo...
متن کاملMathematics and medicine. Test reduction: III-Practical applications.
While there is no generally applicable method of test reduction, ways in which the problem can be tackled can usually be suggested. These include the examination of error rates of tests and the use of current statistical methods. When the cost-effectiveness of some more expensive test has to be measured, a model of the decision problem needs to be developed, with an attempted estimation of the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: National Mathematics Magazine
سال: 1939
ISSN: 1539-5588
DOI: 10.2307/3028861